Home Up Previous Next Random
A monotone map \(P \xrightarrow{f} Q\) has a generative effect
\(\exists a,b \in P: f(a) \lor f(b) \not\cong f(a \lor v)\)